Metallic Matrix Composites with Ceramic Particles. Wetting Conditions

The paper presents the main aspects regarding the mixtures obtained made up from aluminium melts and different kinds of ceramic particles (silicon carbide and boron carbide). Synthetically discussed are the wetting conditions and the wetting coefficient and the possibilities to improve it insisting on the alloying metal bath, its overheating and the heat treatment of the particles with the aim to remove gases from the superficial layer. The critical acceleration necessary for the incorporation of particles into the melt for different temperatures was determined

Ultrasonografia cu substanţă de contrast în examinarea tumorilor renale. Comparaţie între un caz de oncocitom şi un caz de cancer cu celule renale şi studiu aprofundat al literaturii

Universitatea de Medicină şi Farmacie Iuliu Haţieganu, Cluj-NapocaIntroducere. Oncocitomul renal (OCR) reprezintă o tumoră benignă, a cărui diagnostic este în mod frecvent incidental. Cancerul cu celule renale (CCR) este cea mai frecventă patologie malignă renală. Ultrasonografia este în mod frecvent prima linie de evaluare a acestor formaţiuni, studiul fiind completat cu examinarea prin tomografie computerizată cu substanţă de contrast (CECT). Studiul prezintă două cazuri – OCR și, respectiv, CCR. Printr-o amplă consultare a literaturii de specialitate, corelată cu experienţa de până în prezent, se dorește identificarea aportului ultrasonografiei cu substanţă de contrast (CEUS) în diagnosticul tumorilor renale. Materiale și metodă. Ambii pacienţi au fost de sex feminin, vârsta fiind de 35 și, respectiv, 53 de ani. Evaluarea imagistică a inclus, în ambele cazuri, ecografia în mod B, Doppler color, pulsat, precum și cu substanţă de contrast (SC) (Sonovue-Bracco, Italia, 1,6 ml intravenos în bolus). Caracteristicile captării și spălării agentului de contrast au fost evaluate folosind un program dedicat (Sonoliver, Tomtec Imaging Systems). S-au calculat pentru fiecare formaţiune și pentru parenchimul martor următorii indici: Time to peak (TTp), intensitatea maximă (IMAX), timpul de spălare (RT), timpul mediu de tranzit (mTT). Investigaţiile au fost completate prin CECT. Rezultate. Examinarea ultrasonografică a primei paciente a identificat o masă localizată la nivelul corticalei rinichiului drept, hiperecogenă comparativ cu aceasta, omogenă, bine delimitată. Formaţiunea măsura 30/31/31 mm. Examinările Doppler color și pulsat au relevat vascularizaţie periferică și centrală, ce îmbrăca aspectul de ,,spiţe de roată”. La introducerea substanţei de contrast, periferia tumorii a prezentat captare intensă. IMAX atribuită formaţiunii a fost inferioară parenchimului normal (92,2% vs 100%). Valorile RT, TTp și mTT au fost superioare corticalei de referinţă (8,44s vs 6,01s; 17,59s vs 15,7s; 20,19s vs 16,97s). Centrul formaţiunii a captat mai lent SC, rămânând hipocaptant. Formaţiunea corticală stângă, identificată la cea de-a doua pacientă, a fost inomogenă și relativ hipercogenă, comparativ cu parenchimul normal. Delimitarea tumorii, raportată la cazul precedent, nu a fost la fel de netă. Dimensiunile au fost de 32/28,7/27 mm. Examinările Doppler color și pulsat au identificat vascularizaţie bogată peritumorală. Post-CEUS, la nivelul tumorii și a corticalei de referinţă s-au calculat IMAX (84,95% vs 100%; ), RT (14,87s vs 16,6s), TTp (16,96s vs 18,25s), mTT (49,41s vs 69,85s). Examinarea CECT a primului caz consolidează diagnosticul de oncocitom, iar la cel de-al doilea – diagnosticul de CCR. Rezultatul anatomopatologic al pieselor de rezecţie identifică leziunile ca OCR și CCR. Discuţii. Procesele de neovascularizaţie imprimă tumorilor renale o comportare aparte faţă de corticala indemnă. În cazurile prezentate, indicii CEUS măsuraţi pentru OCR și CCR sunt sensibil diferiţi atât între ei, cât și faţă de cei ai parenchimului normal. Literatura de specialitate subliniază nevoia unor studii ample, concentrate asupra diagnosticului tumorilor renale prin intermediul CEUS. Concluzii. Abilitatea CEUS de a detecta fluxuri lente, capacitatea de cuantificare în timp real și posibilităţile de postprocesare pot fi considerate argumente ce susţin validitatea metodei în cuantificarea tumorilor renale. Constrângeri în cazul pacienţilor cu insuficienţă renală practic nu există. Cuantificarea curbelor de spălare în cadrul unui lot semnificativ de pacienţi ar putea identifica parametrii specifici OCR și CCR

A Constructor-Based Reachability Logic for Rewrite Theories

Reachability logic has been applied to K rewrite-rule-based language definitions as a language-generic logic of programs. It has been proved successful in verifying a wide range of sophisticated programs in conventional languages. Here we study how reachability logic can be made not just language-generic, but rewrite-theory-generic to make it available not just for conventional program verification, but also to verify rewriting-logic-based programs and distributed system designs. A theory-generic reachability logic is presented and proved sound for a wide class of rewrite theories. Particular attention is given to increasing the logic's automation by means of constructor-based semantic unification, matching, and satisfiability procedures. The relationships to Hoare logic and LTL are discussed, new methods for proving invariants of possibly never terminating distributed systems are developed, and experiments with a prototype implementation illustrating the new methods are presented.Partially supported by NSF Grants CNS 13-19109 and CNS 14-09416, and AFOSR Contract FA8750-11-2-0084.Ope

Generalized Rewrite Theories and Coherence Completion

A new notion of generalized rewrite theory suitable for symbolic reasoning and generalizing the standard notion is motivated and defined. Also, new requirements for symbolic executability of generalized rewrite theories that extend those for standard rewrite theories, including a generalized notion of coherence, are given. Finally, symbolic executability, including coherence, is both ensured and made available for a wide class of such theories by automatable theory transformations.Partially supported by by NRL under contract number N00173-17-1-G002.Ope

Cables, trains and types

Many concepts of computing science can be illustrated in ways that do not require programming. CS Unplugged is a well-known resource for that purpose. However, the examples in CS Unplugged and elsewhere focus on topics such as algorithmics, cryptography, logic and data representation, to the neglect of topics in programming language foundations, such as semantics and type theory. This paper begins to redress the balance by illustrating the principles of static type systems in two non-programming scenarios where there are physical constraints on forming connections between components. The first scenario involves serial cables and the ways in which they can be connected. The second example involves model railway layouts and the ways in which they can be constructed from individual pieces of track. In both cases, the physical constraints can be viewed as a type system, such that typable systems satisfy desirable semantic properties

Advanced Endoscopic Imaging Techniques for the Study of Colonic Mucosa in Patients with Inflammatory Bowel Disease

Background. Crohn’s disease and ulcerative colitis are inflammatory bowel diseases (IBD) associated with colorectal cancer risk in long-standing diseases. In order to assess the colonic mucosa and to discover dysplastic or neoplastic lesions, advanced endoscopic techniques are needed. Such techniques are detailed in this review: chromoendoscopy, autofluorescence imaging (AFI), narrow band imaging (NBI), i-SCAN, Fujinon Intelligent Color Enhancement (FICE) and confocal laser endomicroscopy (CLE)